Everything about Euclidean Space totally explained
Around
300 BC, the
Greek mathematician Euclid undertook a study of relationships among
distances and
angles, first in a plane (an idealized flat surface) and then in space. An example of such a relationship is that the sum of the angles in a
triangle is always 180
degrees. Today these relationships are known as two- and three-
dimensional
Euclidean geometry.
In modern
mathematical language, distance and angle can be generalized easily to 4-dimensional, 5-dimensional, and even higher-dimensional spaces. An
n-dimensional space with notions of distance and angle that obey the Euclidean relationships is called an
n-dimensional
Euclidean space. Most of this article is devoted to developing the modern language necessary for the conceptual leap to higher dimensions.
An essential property of a Euclidean space is its flatness. Other spaces exist in
geometry that are not Euclidean. For example, the surface of a sphere is not; a triangle on a sphere (suitably defined) will have angles that sum to something greater than 180 degrees. In fact, there's essentially only one Euclidean space of each dimension, while there are many non-Euclidean spaces of each dimension. Often these other spaces are constructed by systematically deforming Euclidean space.
Intuitive overview
One way to think of the Euclidean plane is as a
set of
points satisfying certain relationships, expressible in terms of distance and angle. For example, there are two fundamental operations on the plane. One is
translation, which means a shifting of the plane so that every point is shifted in the same direction and by the same distance. The other is
rotation about a fixed point in the plane, in which every point in the plane turns about that fixed point through the same angle. One of the basic tenets of Euclidean geometry is that two figures (that is,
subsets) of the plane should be considered equivalent (
congruent) if one can be transformed into the other by some sequence of translations and rotations. (See
Euclidean group.)
In order to make all of this mathematically precise, one must clearly define the notions of distance, angle, translation, and rotation. The standard way to do this, as carried out in the remainder of this article, is to define the Euclidean plane as a two-dimensional
real vector space equipped with an
inner product. For then:
- the vectors in the vector space correspond to the points of the Euclidean plane,
- the addition operation in the vector space corresponds to translation, and
- the inner product implies notions of angle and distance, which can be used to define rotation.
Once the Euclidean plane has been described in this language, it's actually a simple matter to extend its concept to arbitrary dimensions. For the most part, the vocabulary, formulas, and calculations are not made any more difficult by the presence of more dimensions. (However, rotations are more subtle in high dimensions, and visualizing high-dimensional spaces remains difficult, even for experienced mathematicians.)
A final wrinkle is that Euclidean space isn't technically a vector space but rather an
affine space, on which a vector space
acts. Intuitively, the distinction just says that there's no canonical choice of where the
origin should go in the space, because it can be translated anywhere. In this article, this technicality is largely ignored.
Real coordinate space
Let
R denote the
field of
real numbers. For any non-negative
integer n, the space of all
n-
tuples of real numbers forms an
n-dimensional vector space over
R, which is denoted
Rn and sometimes called
real coordinate space. An element of
Rn is written
»
In the language of
matrices, rotations are
special orthogonal matrices.
Topology of Euclidean space
Since Euclidean space is a
metric space it's also a
topological space with the natural
topology induced by the metric. The metric topology on
En is called the
Euclidean topology. A set is
open in the Euclidean topology
if and only if it contains an
open ball around each of its points. The Euclidean topology turns out to be equivalent to the
product topology on
Rn considered as a product of
n copies of the
real line R (with its standard topology).
An important result on the topology of
Rn, that's far from superficial, is
Brouwer's
invariance of domain. Any subset of
Rn (with its
subspace topology) that's
homeomorphic to another open subset of
Rn is itself open. An immediate consequence of this is that
Rm isn't homeomorphic to
Rn if
m ≠
n — an intuitively "obvious" result which is nonetheless difficult to prove.
Generalizations
In modern mathematics, Euclidean spaces form the prototypes for other, more complicated geometric objects. For example, a
smooth manifold is a
Hausdorff topological space that's locally
diffeomorphic to Euclidean space. Diffeomorphism doesn't respect distance and angle, so these key concepts of Euclidean geometry are lost on a smooth manifold. However, if one additionally prescribes a smoothly varying inner product on the manifold's
tangent spaces, then the result is what is called a
Riemannian manifold. Put differently, a Riemannian manifold is a space constructed by deforming and patching together Euclidean spaces. Such a space enjoys notions of distance and angle, but they behave in a
curved, non-Euclidean manner. The simplest Riemannian manifold, consisting of
Rn with a constant inner product, is essentially identical to Euclidean
n-space itself.
If one alters a Euclidean space so that its inner product becomes negative in one or more directions, then the result is a
pseudo-Euclidean space. Smooth manifolds built from such spaces are called
pseudo-Riemannian manifolds. Perhaps their most famous application is the
theory of relativity, where empty
spacetime with no
matter is represented by the flat pseudo-Euclidean space called
Minkowski space, spacetimes with matter in them form other pseudo-Riemannian manifolds, and
gravity corresponds to the curvature of such a manifold.
Our universe, being subject to relativity, isn't Euclidean. This becomes significant in theoretical considerations of
astronomy and
cosmology, and also in some practical problems such as
global positioning and
airplane navigation. Nonetheless, a Euclidean model of the universe can still be used to solve many other practical problems with sufficient precision.
Further Information
Get more info on 'Euclidean Space'.
|
External Link Exchanges
Do you know how hard it is to get a link from a large encyclopaedia? Well we're different and will prove it. To get a link from us just add the following HTML to your site on a relevant page:
<a href="http://euclidean_space.totallyexplained.com">Euclidean space Totally Explained</a>
Then simply click through this link from your web page. Our crawlers will verify your link, extract the title of your web page and instantly add a link back to it. If you like you can remove the words Totally Explained and embed the link in article text.
As long as your link remains in place, we'll keep our link to you right here. Please play fair - our crawlers are watching. Your site must be closely related to this one's topic. Any kind of spamming, dubious practises or removing the link will result in your link from us being dropped and, potentially, your whole site being banned. |